Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท18h
๐ŸงฎAlgebraic Archives
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท2hยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
De Bruijn Numerals
text.marvinborner.deยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.comยท3hยท
๐Ÿ—‚Data structures
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท21hยท
๐Ÿ’งLiquid Types
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท2dยท
ฮปLambda Encodings
Flag this post
How to Convert Cubic Bรฉzier Curves into Euler Spirals for GPU Optimization
hackernoon.comยท1d
๐Ÿ“ŠComputational Geometry
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿฆ€Rust Borrowing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.eduยท3d
๐Ÿ“Error Bounds
Flag this post
Magisterium
isaacbowen.comยท4hยท
Discuss: Hacker News
โœจAlgebraic Effects
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท8hยท
๐Ÿ”’Type Safety
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.orgยท2dยท
๐ŸŽž๏ธTape Combinatorics
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท7hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท4hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท22h
๐Ÿ”“Decompilation
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท21hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post